A formal validation approach for holonic control system specifications
نویسندگان
چکیده
The holonic manufacturing paradigm allows a new approach to the emergent requirements faced by the manufacturing world, through the concepts of modularity, decentralisation, autonomy, re-use of control software components. The formal modelling and validation of the structural and behavioural specifications of holonic control systems assumes a critical role. This paper discusses the formal validation of the Petri Net models designed to represent the behaviour and specifications of the holon classes defined at ADACOR architecture.
منابع مشابه
A formal specification approach for holonic control systems: the ADACOR case
Distributed manufacturing control systems, like holonic control systems, are difficult to apprehend and to design, due to the presence of many autonomous, concurrent and asynchronous activities. A formal specification methodology allowing to understand and to synthesize the system specifications and to validate the correctness of their models would play a key role in its design and later in its...
متن کاملFormal Specification of Holonic Control System ADACOR Product Holon, using High-Level Petri Nets
Holonic manufacturing and multi-agent paradigms are suitable to support tbe actual challenges of flexible manufac turing systems, due to their decentralisation, modularity and autonomy features. The formal specification assumes a critical role in order to understand and synthesise those complex systems. The Petri Nets formalism is adequate to model and validate the dynamic behaviour, but presen...
متن کاملModeling Lateral Communication in Holonic Multi Agent Systems
Agents, in a multi agent system, communicate with each other through the process of exchanging messages which is called dialogue. Multi agent organization is generally used to optimize agents’ communications. Holonic organization demonstrates a self-similar recursive and hierarchical structure in which each holon may include some other holons. In a holonic system, lateral communication occurs b...
متن کاملImplementation and Validation of a Holonic Manufacturing Control System
Flexible manufacturing systems are complex, stochastic environments requiring the development of innovative, intelligent control architectures that support agility and re-configurability. ADACOR holonic control system addresses this challenge by introducing an adaptive production control approach supported by the presence of supervisor entities and the self-organization capabilities associated ...
متن کاملFunction Block - based Simulator for Holonic Manufacturing Systems
This paper presents our work on a simulator for testing and validating holonic control solutions for manufacturing systems. The IEC 61499 specifications were chosen for modeling and visualization of the manufacturing equipments, the simulator providing thus a good integration with high level control solutions developed upon the same specifications. Key-Words: holonic, manufacturing systems, sim...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003